# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.
$key = q//;
$cached_env_img{$key} = q|
|;
$key = q/{figure}rail{{par{rules:(rule?+';');{par{rule:(identifier':')?body[1--5];{par{rail{{{{figure};FSF=1.6;AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}'terminal'{rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}()+x{rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}(){rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}()|x+y{rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}()|x+{rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}(*){rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}(x|y)|z{rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}[1]xy|[2]z{rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}abcdefghij{rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}body[2--5]{rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}body[3--5]{rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}identifier+','{rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}nonterminal{rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}x+y{rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}x+{rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}x?{rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}xyz{rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}x|(y|z){rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}x|y|z{rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}{par{decl:'def'identifier'='(expression+';')|'type'identifier'='type;{par{{rail};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{rail}|{rail};AAT/;
$cached_env_img{$key} = q|
|;